Towards Formalization of a Method for Data Consistency Support in Mobile Ad-hoc Distributed Systems1

This paper presents a research-in-progress report on a method for data consistency support in ad-hoc mobile distributed systems. The method is based on a concept of high-level operations “compatibility” and operation history reconciliation with compensations. The described approach is not bound to any particular data storage or communication technology, but in this paper we use tuple spaces as a possible practical medium, which hides network details and mobile nodes heterogeneity. Limits of applicability of the method are described, model and operations are formalized, detailed reconciliation algorithm and communication protocol are discussed.